@Misc{siteOMG,
howpublished = "\url{http://www.omg.org}",
author = {Site de l'OMG}
}

@Misc{siteINCOSE,
howpublished = "\url{http://www.incose.org}",
author = {Site de l'INCOSE}
}

@Misc{siteUML,
howpublished = "\url{http://www.uml.org}",
author = {Site de UML}
}

@Misc{siteSysML,
howpublished = "\url{http://www.sysml.org}",
author = {Site de SysML}
}

@Misc{siteATL,
howpublished = "\url{http://www.eclipse.org/atl}",
author = {Site d'ATL}
}

@Misc{siteTicc,
howpublished = "\url{http://dvlab.cse.ucsc.edu/Ticc}",
author = {Site de Ticc}
}

@Misc{siteTopcased,
howpublished = "\url{http://www.topcased.org}",
author = {Site de TopCased}
}

@inproceedings{automataInterface,
    author = {de Alfaro, Luca and Henzinger, Thomas A.},
    title = {Interface automata},
    booktitle = {Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering},
    series = {ESEC/FSE-9},
    year = {2001},
    isbn = {1-58113-390-1},
    location = {Vienna, Austria},
    pages = {109--120},
    numpages = {12},
    url = {http://doi.acm.org/10.1145/503209.503226},
    doi = {http://doi.acm.org/10.1145/503209.503226},
    acmid = {503226},
    publisher = {ACM},
    address = {New York, NY, USA}
} 

@incollection{ticcDocumentation,
    author = {Adler, B. and de Alfaro, Luca and Da Silva, Leandro and Faella, Marco and Legay, Axel and Raman, Vishwanath and Roy, Pritam},
    affiliation = {School of Engineering, University of California, Santa Cruz, USA},
    title = {A Tool for Interface Compatibility and Composition},
    booktitle = {Computer Aided Verification},
    series = {Lecture Notes in Computer Science},
    editor = {Ball, Thomas and Jones, Robert},
    publisher = {Springer Berlin / Heidelberg},
    isbn = {978-3-540-37406-0},
    keyword = {Computer Science},
    pages = {59-62},
    volume = {4144},
    url = {http://dx.doi.org/10.1007/11817963\_8},
    note = {10.1007/11817963\_8},
    year = {2006}
}

@inproceedings{adaptationAutomateInterface,
    hal_id = {hal-00563423},
    url = {http://hal.archives-ouvertes.fr/hal-00563423},
    title = {{Adaptation des Protocoles des Composants par les Automates d'Interface}},
    author = {Chouali, Samir and Mouelhi, Sebti and Mountassir, Hassan},
    affiliation = {Laboratoire d'Informatique de Franche-Comt{\'e} - LIFC},
    booktitle = {{AFADL'10, Congr{\`e}s Approches Formelles dans l'Assistance au D{\'e}veloppement de Logiciels}},
    pages = {253--266},
    year = {2010},
}

@inproceedings{automateIO,
    author = {Lynch, Nancy A. and Tuttle, Mark R.},
    title = {Hierarchical correctness proofs for distributed algorithms},
    booktitle = {Proceedings of the sixth annual ACM Symposium on Principles of distributed computing},
    series = {PODC '87},
    year = {1987},
    isbn = {0-89791-239-X},
    location = {Vancouver, British Columbia, Canada},
    pages = {137--151},
    numpages = {15},
    url = {http://doi.acm.org/10.1145/41840.41852},
    doi = {http://doi.acm.org/10.1145/41840.41852},
    acmid = {41852},
    publisher = {ACM},
    address = {New York, NY, USA},
} 
